Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution
نویسندگان
چکیده
SEEP executes the code under test symbolically to extract all code paths and their path constraints. On basis of these results, SEEP crafts program code with predefined input data, so-called path entities. For each path entity, SEEP generates a runtime execution trace by executing them on a test system and increments a block counter for every basic block (branchless sequence of code) each time it is executed. .
منابع مشابه
Proactive Energy-Aware System Software Design with SEEP
Designing system software currently optimizes program code for correctness and speed. While this is essential for the reliable operation of computer systems, these two characteristics alone are often not sufficient. Moreover, it is important to ensure that a third characteristic is being considered during the process of designing system software: energy efficiency. As optimizing program code fo...
متن کاملProSEEP: A Proactive Approach to Energy-Aware Programming
Today, optimizing software for energy efficiency is an expensive task. First, there are only few tools available that assist developers to optimize their code at hand. Second, due to the complexity of systems examining applications for energy hogs is a very time-consuming task. Designing energy-efficient applications currently is a backward-looking process. Energy bugs, which are usually experi...
متن کاملMapping Description Communication Pattern Resources and a between Grid Mechanism Scheduling
No application can execute efficiently on the grid that is not aware of the fact that it runs in an heterogeneous network environment with heterogeneous nodes. We report on an ongoing work whose goal is to develop a distributed software framework and an API for grid computing which shall empower applications to perform scheduling decisions on their own and utilizing the information about the gr...
متن کاملContext-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation
Android Framework is a layer of software that exists in every Android system managing resources of all Android apps. A vulnerability in Android Framework can lead to severe hacks, such as destroying user data and leaking private information. With tens of millions of Android devices unpatched due to Android fragmentation, vulnerabilities in Android Framework certainly attract attackers to exploi...
متن کاملA Generic Framework for Symbolic Execution: Theory and Applications
The modern world is shifting from the traditional workmanship to a more automated work environment, where software systems are increasingly used for automating, controlling and monitoring human activities. In many cases, software systems appear in critical places which may immediately affect our lives or the environment. Therefore, the software that runs on such systems has to be safe. This req...
متن کامل